void test_srm580_250();
void test_srm580_600 ();

int main(){
	//test_srm580_250();
	test_srm580_600 ();
	return 0;
}